Properties and Complexity in Feasible Logic-Based Argumentation for Electronic Commerce
نویسندگان
چکیده
Logic-Based Argumentation (LBA) exhibits unique properties and advantages over other kinds of argumentation procedures, amongst them: the adequacy to logic-based pre-argument reasoning, similarity to the human reasoning process, reasoning with incomplete information and argument composition and extension. Logic enables a formal speci cation to be built and a quick prototype to be developed. In order for LBA to achieve feasibility in Electronic Commerce (EC) scenarios, a set of properties must be present: self-support, correctness, conjugation, temporal containment and acyclicity. At the same time, LBA is shown to achieve stability in argument exchange ( guaranteed success problem ) and, depending on the de nition of success, computational e ciency at each round (success problem ).
منابع مشابه
Developing Agents for Electronic Commerce A Constructive Approach
Logic Programming (LP) and specially Extended Logic Programming (ELP) provides a powerful tool for the development of systems that, besides being mathematically correct (and subject to proof) are easy to prototype. Electronic Commerce (EC) poses new challenges in the areas of Knowledge Representation (KR) and Formal Modeling. Indeed, a specific agent architecture is necessary as the basis for a...
متن کاملTemporality, Priorities and Delegation in an E-Commerce Environment
Logic presents itself as a major tool in the development of formal descriptions for agentbased systems; indeed, Logic Programming (LP) and specially Extended Logic Programming (ELP) provide a powerful tool for the development of such systems, besides being mathematically correct (and subject to proof) are easy to prototype. On the other hand Electronic Commerce (EC) poses new challenges in the ...
متن کاملArgumentative Procedures in eCommerce Environments
The use of agent's technology in electronic commerce environments leads to the necessity to introduce some sort of formal attitude in the processes of software development and analysis. Logic programming and specially extended logic programming provides a powerful tool for achieving such goal; i.e., besides being mathematically correct it makes the prototyping phase easier. However, although no...
متن کاملRisk Analysis in E-commerce via Fuzzy Logic
This paper describes the development of a fuzzy decision support system (FDSS) for the assessment of risk in E-commerce (EC) development. A Web-based prototype FDSS is suggested to assist EC project managers in identifying potential EC risk factors and the corresponding project risks. A risk analysis model for EC development using a fuzzy set approach is proposed and incorporated into the FDSS....
متن کامل